Turing Machines + Decidability In 3 Hours